Conant's generalised metric spaces are Ramsey
نویسندگان
چکیده
We give Ramsey expansions of classes of generalised metric spaces where distances come from a linearly ordered commutative monoid. This complements results of Conant about the extension property for partial automorphisms and extends an earlier result of the first and the last author giving the Ramsey property of convexly ordered Smetric spaces. Unlike Conant’s approach, our analysis does not require the monoid to be semi-archimedean. Dedicated to old friend Norbert Sauer.
منابع مشابه
All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms)
We prove the Ramsey property of classes of ordered structures with closures and given local properties. This generalises earlier results: the Nešetřil-Rödl Theorem, the Ramsey property of partial orders and metric spaces as well as the author’s Ramsey lift of bowtiefree graphs. We use this framework to give new examples of Ramsey classes. Among others, we show (and characterise) the Ramsey prop...
متن کاملLocalic completion of uniform spaces
We extend the notion of localic completion of generalised metric spaces by Steven Vickers to the setting of generalised uniform spaces. A generalised uniform space (gus) is a set X equipped with a family of generalised metrics on X, where a generalised metric on X is a map from X ×X to the upper reals satisfying zero self-distance law and triangle inequality. For a symmetric generalised uniform...
متن کاملRamsey–milman Phenomenon, Urysohn Metric Spaces, and Extremely Amenable Groups
In this paper we further study links between concentration of measure in topological transformation groups, existence of fixed points, and Ramsey-type theorems for metric spaces. We prove that whenever the group Iso (U) of isometries of Urysohn’s universal complete separable metric space U, equipped with the compact-open topology, acts upon an arbitrary compact space, it has a fixed point. The ...
متن کاملCompleteness in Probabilistic Metric Spaces
The idea of probabilistic metric space was introduced by Menger and he showed that probabilistic metric spaces are generalizations of metric spaces. Thus, in this paper, we prove some of the important features and theorems and conclusions that are found in metric spaces. At the beginning of this paper, the distance distribution functions are proposed. These functions are essential in defining p...
متن کاملApproximation of Metric Spaces by Partial Metric Spaces
Partial metrics are generalised metrics with non-zero self-distances. We slightly generalise Matthews' original definition of partial metrics, yielding a notion of weak partial metric. After considering weak partial metric spaces in general, we introduce a weak partial metric on the poset of formal balls of a metric space. This weak partial metric can be used to construct the completion of clas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1710.04690 شماره
صفحات -
تاریخ انتشار 2017